Modelling earthing systems and cables with moment methods

Information Systems Modelling with Trollformal Methods At

| In this paper we present a national project located in the area of computer aided testing and certifying (CATC) of physical devices. The objective of this project is to develop an information system that supports the various activities of diierent user groups in a German federal institute of weights and measures. We decided to use formal methods right from the beginning of the project. Our ap...

investigation of single-user and multi-user detection methods in mc-cdma systems and comparison of their performances

در این پایان نامه به بررسی روش های آشکارسازی در سیستم های mc-cdma می پردازیم. با توجه به ماهیت آشکارسازی در این سیستم ها، تکنیک های آشکارسازی را می توان به دو دسته ی اصلی تقسیم نمود: آشکارسازی سیگنال ارسالی یک کاربر مطلوب بدون در نظر گرفتن اطلاعاتی در مورد سایر کاربران تداخل کننده که از آن ها به عنوان آشکارساز های تک کاربره یاد می شود و همچنین آشکارسازی سیگنال ارسالی همه ی کاربران فعال موجود در...

Power Delivery in Systems with Lossy Cables

Earthing Techniques

1.3 MAKING A MEASUREMENT ........................................................................................................................................... 1.3.1 PRINCIPLES...............................................................................................................................................................4 1.3.2 SOIL RESISTIVITY TESTING PROCEDURE GUIDELINES ......

Modelling transonic flows with second-moment closure

It is now generally accepted that statistical turbulence models are unlikely, ever, to enable highfidelity predictions of massively-separated flows, especially if separation occurs from curved three-dimensional surfaces. In such circumstances, even the most elaborate turbulence models are ill-equipped to capture the dynamics associated with highly-unsteady and intense large-scale motions that a...